/*
 * Copyright (c) Huawei Technologies Co., Ltd. 2022-2022.
 * Description: add stage2 memory managemet
 * Author: lilinjie8 <lilinjie8@huawei.com>
 * Create: 2022-01-24
 */

#ifndef HPVISOR_ARM64_MMU_H
#define HPVISOR_ARM64_MMU_H
#include "../../virt/hpvisor/mmu.h"

extern int hpvisor_stage2_show_pte(struct kvm_pgtable *pgt, u64 addr);
extern void hpvisor_unmap_stage2_range(struct kvm *kvm, phys_addr_t gpa, u64 size);
#endif
